let t = A.t
